<HTML><HEAD><TITLE>library(propia)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(propia)</H1>
The Generalised Propagation Library
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="infers-2.html"><STRONG>+Goal infers +Language</STRONG></A></DT>
<DD>Do generalized propagation over Goal according to the approximation Language.</DD>
<DT><STRONG>tr_propia(?, ?)</STRONG></DT>
<DD>No description available</DD>
</DL>
</BLOCKQUOTE>
<H2>Other Exports</H2>
<BLOCKQUOTE><DL>
<DT><STRONG>export op(900, yfx, infers)</STRONG></DT><DD></DD>
<DT><STRONG>export macro(myinfers / 5, tr_propia / 2, [goal, write])</STRONG></DT><DD></DD>
<DT><STRONG>export macro(myinfers / 6, tr_propia / 2, [goal, write])</STRONG></DT><DD></DD>
</DL></BLOCKQUOTE>
<H2>About</H2><UL COMPACT>
<LI><STRONG>Author: </STRONG>Thierry Le Provost, ECRC and Mark Wallace, IC-Parc and ICL
<LI><STRONG>Copyright &copy; </STRONG>1995-2006 Cisco Systems, Inc
<LI><STRONG>Date: </STRONG>$Date: 2009/04/17 07:08:03 $
</UL>
<HR>Generated from propia.eci on 2009-05-27 01:25
</BODY></HTML>
